61. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده : / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
62. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده : / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
63. App inventor for Android
پدیدآورنده : / Jason Tyler
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Android (Electronic resource), Amateurs' manuals,Application software, Development, Amateurs' manuals,Smartphones, Programming, Amateurs' manuals,Open source software, Amateurs' manuals,Mobile computing, Amateurs' manuals
رده :
QA76
.
76
.
A65
,
T95
2011
64. Applications and Science in Soft Computing
پدیدآورنده : edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Decision making.,Operations research.
65. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
پدیدآورنده : Dietmar Seipel... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
66. Architectural design of multi-agent systems :
پدیدآورنده : Hong Lin [editor].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software),Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software)
رده :
QA76
.
76
.
I58
A72
2007
67. Architectural design of multi-agent systems
پدیدآورنده : / Hong Lin [editor]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intelligent agents (Computer software),Electronic data processing- Distributed processing,Computer architecture
رده :
QA76
.
76
.
I58
,
A72
2007
68. Architectural design of multi-agent systems :technologies and techniques
پدیدآورنده : Hong Lin ]editor[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Intelligent agents )Computer software(,Distributed processing ، Electronic data processing,، Computer architecture
رده :
QA
76
.
76
.
I58
A72
2007
69. Artificial Intelligence:
پدیدآورنده : edited by Christoph Bussler, Dieter Fensel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Information systems.
70. Artificial Intelligence in Higher Education :
پدیدآورنده : by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
7
B985
1990
71. Artificial life and evolutionary computation :
پدیدآورنده : edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
72. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده : [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
73. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده : [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
74. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
75. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
76. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
77. Automata, Languages and Programming :
پدیدآورنده : edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
78. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
79. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
